21. Philosophy of information
پدیدآورنده : edited by Pieter Adriaans and Johan van Benthem
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Philosophy ، Information theory
رده :
Q
360
.
P45
22. Proof, computation and agency :
پدیدآورنده : edited by Johan van Benthem, Amitabha Gupta and Rohit Parikh.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع :
23. Readings in Formal Epistemology
پدیدآورنده : edited by Horacio Arl??-Costa, Vincent F. Hendricks, Johan van Benthem
کتابخانه: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
موضوع : Knowledge, Theory of,Logic, Symbolic and mathematical,Game theory
رده :
EBOOK
,
BD
R4
161
24. Readings in Formal Epistemology :
پدیدآورنده : edited by Horacio Arló-Costa, Vincent F. Hendricks, Johan van Benthem.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Game theory.,Knowledge, Theory of.,Logic, Symbolic and mathematical.,Philosophy.,Game theory.,Game theory.,Knowledge, Theory of.,Logic, Symbolic and mathematical.,Mathematical theory of computation.,Mathematics-- Game Theory.,Mathematics-- Logic.,Philosophy-- Epistemology.,Philosophy.,Philosophy: epistemology & theory of knowledge.
رده :
BD143-237
25. Readings in formal epistemology : Sourcebook
پدیدآورنده : Horacio Arlo-Costa, Vincent F. Hendricks, Johan van Benthem, editors; assistant editors : Henrik Boensvang, Rasmus K. Rendsvig
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Knowledge, Theory of,، Logic, Symbolic and mathematical,، Game theory
رده :
BD
161
.
R42
26. The age of alternative logics :
پدیدآورنده : edited by Johan van Benthem ... [and others]
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Categories (Philosophy),Logic, Symbolic and mathematical,Mathematics-- Philosophy,Proof theory
رده :
BC135
.
A39
2006
27. The age of alternative logics : assessing philosophy of logic and mathematics today
پدیدآورنده : edited by Johan van Benthem... ]et al.[
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Logic, Symbolic and mathematical,، Mathematics -- Philosophy,، Proof theory,، Categories )Philosophy(
رده :
BC
135
.
A35
28. The logic of time
پدیدآورنده : Johan van Benthem
کتابخانه: Library of Faculty of Psychology and Educational Sciences University of Tehran (Tehran)
موضوع : Time,Ontology,Tense (Grammar),Tense (Logic)
رده :
BC
,
199
,.
T4
,
B4
,
1991
29. The logic of time : a model-theoretic investigation into the varieties of temporal ontology and temporal discourse
پدیدآورنده : Benthem, Johan F. A. K. van, 9491-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Time,، Ontology,، Grammar, Comparative and general -- Tense,، Tense )Logic(
رده :
BC
199
.
T4B46
1991
